# Definition:Semantic Tableau/Closed

(Redirected from Definition:Closed Tableau)
Let $T$ be a semantic tableau.
Then $T$ is closed iff all of its leaves are marked closed.