Please don’t put diseased leaves in the compost. (Never put any tomato plant -healthy or not – in the compost). Bag it and put it in the black trash can or take it home to throw out. Thanks!