Botswana offers publicly financed HIV treatment to citizens, but not migrants, who comprised about 7% of the population in 2016. However, HIV incidence is not declining in proportion to Botswana's HIV response. In 2018, Botswana had 86% of citizens living with HIV diagnosed, 95% of people diagnosed on treatment, and 95% viral suppression among those on treatment. We hypothesised that continued exclusion of migrants is hampering reduction of HIV incidence in Botswana. Hence, we modelled the impact of including migrants in Botswana's HIV response on achieving 90-90-90 and 95-95-95 Fast-Track targets by 2020 and 2030, respectively. The Optima HIV model, with demographic, epidemiological, and behavioural inputs, was applied to citizens of and migrants to Botswana. Projections of new HIV infections and HIV-related deaths were compared for three scenarios to the end of 2030: (1) continued status quo for HIV testing and treatment coverage, and maintenance of levels of linkage to care, loss to follow-up, and viral suppression among citizens and migrants (baseline); (2) with scaled-up budget, optimised to achieve 90-90-90 and 95-95-95 Fast-Track targets by 2020 and 2030, respectively, for citizens only; and (3) scaled-up optimised budget to achieve these targets for both citizens and migrants. A baseline of 172,000 new HIV infections and 8,400 HIV-related deaths was projected over 2020-2030. Scaling up to achieve targets among citizens only averted an estimated 48,000 infections and 1,700 deaths. Achieving targets for both citizens and migrants averted 16,000 (34%) more infections and 442 (26%) more deaths. Scaling up for both populations reduced numbers of new HIV infections and deaths by 44% and 39% respectively compared with 2010 levels. Treating migrants when scaling up in both populations was estimated to cost USD 74 million over 2020-2030. Providing HIV services to migrants in Botswana could lead to further reductions in HIV incidence and deaths. However, even with an increased, optimised budget that achieves 95-95-95 targets for both citizens and migrants by 2030, the 90% incidence reduction target for 2020 will be missed. Further efficiencies and innovations will be needed to meet HIV targets in Botswana.