I usually try to hire someone however, for stocks, sauces and such, where the presence of the leaf is not important, I either a) use the whole sprigs and strain out/remove with tongs, or b ) put several sprigs into a teabag, then remove after cooking. or, freeze. The leaves will fall off in due time. A very practical and wise method indeed.