What is the right way to quench star formation in semi-analytic models of galaxy formation?