Definition:Marked Leaf/Closed

Definition
Let $T$ be a semantic tableau.

A marked leaf $t$ of $T$ is marked closed its label $\map U t$ contains a complementary pair.

This can be designated by adding to $t$ a second label $\times$.