 Tableau clash

An explicit contradiction in a node label, such as both $A$ and $\neg A$, or $\perp$. Opposite universal restrictions alone cause no clash when there are no successors.