Definition:Marked Leaf

Definition
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.