Definition:Semantic Tableau/Open

Definition
Let $T$ be a semantic tableau.

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

Also see

 * Definition:Closed Tableau