Is there a term for a tree where the values of the children add up to a fixed value?
I believe it is creatively called a "sum tree."

Algorithmically it's not especially useful nor interesting because it is not efficiently modifiable.