When you prepare the non-resident return, it will say the total tax on it. That is the amount entered, which is before any tax withholding would be applied. So for example, if I filed a non-resident return for Iowa and the tax was $800, and my Iowa withholding was $850 (I get a $50 refund) I will enter $800 for my out of state tax credit.
