Definition:Semantic Tableau/Open

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T$ be a semantic tableau.


Then $T$ is open if and only if all of its leaves are marked open.


Also see


Sources