Definition:Semantic Tableau/Completed

Definition
Let $T$ be a semantic tableau.

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

Also see

 * Definition:Closed Tableau
 * Definition:Open Tableau