Def 2.4.7 LOS Skript Teil 1 steht:
Ein Tableauzweig ist genau dann vollendet wenn atomar abgeschlossen oder keine strikte expansion ermöglicht.

Woran erkennt man denn ob ein Zweig nicht mehrfach expandiert werden kann?