The growth rate over trees of any family of set defined by a monadic second order formula is semi-computable.