Comme indiqué dans les commentaires ci-dessus, les packages suivants répondent à la demande :
- [proof](http://texdoc.net/texmf-dist/doc/latex/lkproof/lkproof-doc.pdf), de Makoto Tatsuta ;
- [tikz-qtree](http://mirrors.ctan.org/graphics/pgf/contrib/tikz-qtree/tikz-qtree-manual.pdf), de David Chiang ;
- [prooftrees](http://mirrors.ctan.org/graphics/pgf/contrib/prooftrees/prooftrees.pdf), de Clea F. Rees ;
- [proofs](http://mirrors.ctan.org/macros/generic/proofs/taylor/prooftree-doc.pdf), de Paul Taylor.
Enfin, la bibliothèque `trees` de Ti*k*Z permet de construire de tels arbres. Comme indiqué plus haut, on trouvera [sur texample.net][1] des exemples, et on lira avec profit la partie IV, 29 du [manuel de Ti*k*Z/PGF](http://mirrors.ctan.org/graphics/pgf/base/doc/pgfmanual.pdf).
[1]: http://www.texample.net/tikz/examples/decision-tree/
