Definition:Semantic Tableau/Closed

Definition
Let $T$ be a semantic tableau.

Then $T$ is closed iff all of its leaves are marked closed.

Also see

 * Definition:Open Tableau