\begin{definition}[Definition:Marked Leaf]
Let $T$ be a semantic tableau.
Let $t$ be a leaf of $T$.
Then $t$ is '''marked''' {{iff}} it has occurred in '''Step 3''' of the Semantic Tableau Algorithm.
Otherwise, it is called '''unmarked'''.
\end{definition}