Finite tree