This is completely up to you! If you want to strain out the raspberry seeds, the best time to do so is right when you pull it off of the heat because this is when it will be the most loose. As it cools, the sauce thickens. Strain through a fine mesh strainer, pressing with a spatula to make sure you don’t lose any of the syrup.