# Definition:Marked Leaf/Open

(Redirected from Definition:Marked Open Leaf)
Let $T$ be a semantic tableau.
A marked leaf $t$ of $T$ is marked open iff its label $U \left({t}\right)$ does not contain a complementary pair.
This can be designated by adding to $t$ a second label $\odot$.