tif to tga

Or, if you don’t have Photoshop or don’t want to buy it, you can use IrfanView (as well as others I guess). IV has also a good batch operator that lets you convert multiple files.

http://www.irfanview.de/