Un arbre probabiliste est un arbre où chaque branche est affectée d'une probabilité, les branches issues du même noeud représentent des événements disjoints et la somme de leurs probabilités est égale à 1.