Finite structure for Friedman ideals of finite trees

By extending Hall's classical marriage theorem, we find a finite structure theorem for every Friedman ideal of finite trees.