I would convert to JPG at the highest quality available by the tool you are using (HeliconSoft or other editors). You won't lose significant detail. If you had to keep TIFF then you will need to use an editor to resize which will likely affect quality more than the simple compression to JPG

Dean