tõeväärtusjaotust, mille puhul oleks kõik literaalid tõesed, sest selles haru lõpus on ¬A ning sama haru tüveosas on ka A. Kui literaal esineb harus koos eitusega, siis pole võimalik leida sellist tõeväärtusjaotust, et kõik literaalid oleksid korraga tõesed. Sellist haru, milles esineb literaal koos eitusega, nimetatakse suletud haruks ja seda tähistatakse kaldristikesega ×. Haru, mis pole suletud, nimetatakse avatud haruks. Kui tahetakse rõhutada, et avatud haru on lõpuni dekomponeeritud, siis nimetatakse seda avatud lõpetatud haruks ja seda tähistatakse väikese ringiga ○, või ka väikese o-tähega. Antud näites on ka parempoolne haru suletud, sest selles esineb nii ¬C kui ka C. Mõlemad puu harud on lõpetatud (pole enam midagi lammutada), sest iga haru lõpeb literaaliga. Kui puu kõik harud on lõpetatud, siis on 16 tegu lõpetatud puuga. Kui kõik oksaharud on suletud, on ka kogu tõesuspuu suletud. Suletud
tõeväärtusjaotust, mille puhul oleks kõik literaalid tõesed, sest selles haru lõpus on ¬A ning sama haru tüveosas on ka A. Kui literaal esineb harus koos eitusega, siis pole võimalik leida sellist tõeväärtusjaotust, et kõik literaalid oleksid korraga tõesed. Sellist haru, milles esineb literaal koos eitusega, nimetatakse suletud haruks ja seda tähistatakse kaldristikesega ×. Haru, mis pole suletud, nimetatakse avatud haruks. Kui tahetakse rõhutada, et avatud haru on lõpuni dekomponeeritud, siis nimetatakse seda avatud lõpetatud haruks ja seda tähistatakse väikese ringiga , või ka väikese o-tähega. Antud näites on ka parempoolne haru suletud, sest selles esineb nii ¬C kui ka C. Mõlemad puu harud on lõpetatud (pole enam midagi lammutada), sest iga haru lõpeb literaaliga. Kui puu kõik harud on lõpetatud, siis on 16 tegu lõpetatud puuga
annaabi.ee 
