Hi.
I did a quick web search on comparison of imputation methods. There were a bunch of journal articles that I didn't want to buy, but the abstracts all said similar things -- imputing was better than not imputing, and multivariate methods outperformed univariate methods.
SAS software seems to be lagging the state of the art in imputation by about a decade -- I think their last serious improvement for imputation was when they added PROC MI to SAS/STAT about ten years ago (and that methodology had already been around for twenty years at that time). Enterprise Miner doesn't appear to offer expectation maximization for multiple imputation, but it has a few methods not available in STAT, notably tree imputation, as you mentioned.
I once read a pretty convincing endorsement of cluster imputation given by one of the eminent senior statisticians at SAS, Warren Sarle -- I wish I could find it, I'd copy it here. Cluster imputation is kind of a compromise between univariate and multivariate methods. Finding the clusters is a multivariate technique, but once you have the clusters, you do a simple substitution of cluster means or medians for the missing values of observations within each cluster (I suppose you could do M-estimators within each cluster, if you wanted to). You can get cluster imputation in both SAS/STAT and Enterprise Miner, but you have to know where to look. In SAS/STAT it's in PROC FASTCLUS; in Enterprise Miner, it's in the Cluster node, not the Impute node.