Full Idea
With semantic tableaux there are recipes for proof-construction that we can operate, whereas with natural deduction there are not.
Gist of Idea
Unlike natural deduction, semantic tableaux have recipes for proving things
Source
David Bostock (Intermediate Logic [1997], 6.5)
Book Reference
Bostock,David: 'Intermediate Logic' [OUP 1997], p.269
Related Idea
Idea 13758 In natural deduction we work from the premisses and the conclusion, hoping to meet in the middle [Bostock]