Is there a closed formula/function for decision trees?
It can be expressed as a linear combination of indicators, where the weights are the training averages on each partition of the space, and the indicator is the indicator for that partition.
Having said that, I haven't come across any software that automatically does it for you. I also think the analytic expressions might become very large when dealing with moderately wide trees.