\begin{definition}[Definition:Marked Leaf/Closed]
Let $T$ be a semantic tableau.
A marked leaf $t$ of $T$ is '''marked closed''' {{iff}} its label $\map U t$ contains a complementary pair.
This can be designated by adding to $t$ a second label $\times$.
\end{definition}