Finished sets as binary trees