A characterization for congruence semi-distributivity