I would flush the whole system. Quite a bit of fluid stays in the block due to the water pump being high on the engine. I would drain and flush the system till you are just draining water. Remember to have your heat running on high while doing this. It will suck in about 3 gallons. So you will need two full strength gallons. Prestone or extended peak are not bad choices. Where is the leak did you fix that first?